Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks is the culmination of the first ...
Lee mas
Parallel Problem Solving from Nature - PPSN IX
We received 255 paper submissions this year. After an extensive peer review process involving more than 1000 reviews, the ...
Lee mas
RoboCup 2006: Robot Soccer World Cup X
This book constitutes the 10th official archival publication devoted to RoboCup. It documents the achievements presented ...
Lee mas
RoboCup 2007: Robot Soccer World Cup XI
The book presented at the symposium focused on topics related to these three events and to artificial intelligence and robotics ...
Lee mas
S-BPM in the Production Industry
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
Lee mas
Self-Managed Networks, Systems, and Services
This book constitutes the refereed proceedings of the Second IEEE International Workshop on Self-Managed Networks, Systems, ...
Lee mas
Self-Organizing Systems
This book constitutes the refereed proceedings of the First International Workshop on Self-Organizing Systems, IWSOS 2006. ...
Lee mas
Self-Organizing Systems
The 17 revised full papers and five revised short papers presented together with two invited talks were carefully selected ...
Lee mas
Self-Stabilizing Systems
Constitutes the proceedings of the 7th International Symposium on Self-Stabilizing Systems, held in Barcelona, Spain, in ...
Lee mas
Simulated Evolution and Learning : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings
This volume covered are evolutionary learning; evolutionary optimisation; hybrid learning; adaptive systems; theoretical ...
Lee mas
Software Engineering and Middleware
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers ...
Lee mas
Stabilization, Safety, and Security of Distributed Systems
This book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
Lee mas
Stabilization, Safety, and Security of Distributed Systems : 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
The book addresses all safety and security-related aspects of self-stabilizing systems in various areas of distributed computing ...
Lee mas
Symbiotic Interaction
The 12 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 23 submissions. The ...
Lee mas
The Adaptive Web
Following the increase in of the information available on the Web, the diversity of its users and the complexity of Web applications, ...
Lee mas
Times of Convergence. Technologies Across Learning Contexts : Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 2008. Proceedings
The book covers the different fields of learning technologies: education, psychology, computer science. The book address ...
Lee mas
Unconventional Programming Paradigms
Nowadays, developers have to face the proliferation of hardware and software environments, the increasing demands of the ...
Lee mas
Unifying Themes in Complex Systems, Vol. IIIB: New Research
This volume contains over 35 papers selected from those presented at the conference on topics including: self-organization ...
Lee mas
User Modeling 2005
The book offers topical sections on adaptive hypermedia, affective computing, data mining for personalization and cross-recommendation, ...
Lee mas
